Abstraction in mathematics